41. Computation and proof theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 part II
المؤلف: edited by M. M. Richter ... ]et al.[
المکتبة: (طهران)
موضوع: Congresses ، Computational complexity,Congresses ، Proof theory
رده :
QA
9
.
59
.
C65
1983
42. Computation and proof theory; proceedings of the logic colloquium held in Aachen, July 18-23, 1983
المؤلف: edite by M. M. Richter, ... ]et al.[
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: Congresses ، Proof theory
رده :
QA
1
.
L4
v
.
1104
43. Computational aspects of linear logic /
المؤلف: Patrick Lincoln.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical-- Data processing.,Proof theory.,Logic, Symbolic and mathematical-- Data processing.,Proof theory.
رده :
QA9
.
L565
1995
44. Conditional and preferential logics
المؤلف: Gian Luca Pozzato
المکتبة: كتابخانه دانشگاه صنعتي اروميه (أذربایجان الغربیة)
موضوع: Logic, Symbolic and mathematical,Proof theory
رده :
QA
,
9
,.
P65
,
2010
45. Conditional and preferential logics
المؤلف: / Gian Luca Pozzato
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.,Proof theory.
رده :
QA9
,.
P65
,
2010
46. Conditional and preferential logics
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Logic, Symbolic and mathematical. ; Proof theory. ;
47. Conjecture and proof
المؤلف: Laczkovich, Miklos
المکتبة: (طهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
L22
48. Contemporary perspectives on religious epistemology
المؤلف: edited by R. Douglas Geivett, Brendan Sweetman
المکتبة: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع: ، Knowledge, Theory of )Religion(,Proof ، God,، Atheism
رده :
BL
51
.
C6
49. Contemporary perspectives on religious epistemology
المؤلف: edited by R. Douglas Geivett, Brendan Sweetman
المکتبة: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع: ، Knowledge, Theory of )Religion(,Proof ، God,، Atheism
رده :
BL
51
.
C6
50. Contemporary perspectives on religious epistemology
المؤلف:
المکتبة: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (أصبهان)
موضوع: Knowledge, Theory of )Religion(,God- Proof,Atheism
رده :
121
C761
51. Contemporary perspectives on religious epistemology
المؤلف: / edited by R. Douglas Geivett, Brendan Sweetman
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Knowledge, Theory of (Religion),God--Proof,Atheism.
رده :
BL
,
51
,.
C6369
,
1992
52. Contemporary perspectives on religious epistemology
المؤلف: edited by R. Douglas Geivett, Brendan Sweetman
المکتبة: (قم)
موضوع: ، Knowledge, Theory of )Religion(,Proof ، God,، Atheism
رده :
BL
51
.
C66
53. Cut elimination in categories /
المؤلف: Kosta Došen
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Categories (Mathematics),Elimination,Proof theory
54. Derivation and computation: taking the Curry-Howard correspondence seriously
المؤلف: Simmons, Harold
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Proof theory,، Lambda calculus,، Type theory,، Curry-Howard isomorphism
رده :
QA
9
.
54
.
S55
2000
55. Descartes
المؤلف: \ Georges Dicker.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Descartes, Rene,1596-1650., Meditationes de prima philosophia.,First philosophy.,God-- Proof, Ontological.,Methodology.,Knowledge, Theory of.,دک‍ارت، رن‍ه، ۱۵۹۶-۱۶۵۰م.,فلسفه اولی ,خدا -- اثبات هستی‌شناختی ,روش‌شناسی ,شناخت (فلسفه)
رده :
B1854
.
D53D4
2013
56. Descartes :
المؤلف: Georges Dicker
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Descartes, René,1596-1650., Meditationes de prima philosophia,First philosophy,God-- Proof, Ontological,Knowledge, Theory of,Methodology
57. Explanation and Proof in Mathematics
المؤلف: \ Gila Hanna, Hans Niels Jahnke, Helmut Pulte Editors
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Proof theory.,Mathematics -- Philosophy. ,ریاضیات -- فلسفه
رده :
E-Book
,
58. Explanation and proof in mathematics
المؤلف: / Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Proof theory,Mathematics, Philosophy,Beweistheorie, swd,Philosophie, swd
رده :
E-BOOK
59. Explanation and proof in mathematics
المؤلف: / Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Proof theory.,Mathematics--Philosophy,Beweistheorie--swd,Philosophie--swd
رده :
QA
,
9
.
54
,.
E97
,
2010
60. Explanation and proof in mathematics
المؤلف: / Gila Hanna, Hans Niels Jahnke, Helmut Pulte, editors
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Proof theory,Mathematics, Philosophy
رده :
QA9
.
54
.
E97
2010
